/*
* invoke boot bytecode sequence
* See Copyright Notice in "invoke.h"
*/

#ifndef BOOT_H
#define BOOT_H

#define MAX_BOOT 1613

extern const char boot_bcodes[MAX_BOOT];

#endif

